Nuprl Definition : Subst' 13,42
REF, NoConds
Subst' x $b == Subst' x ( $b) 
latex

UpTactics as terms
FDL editor aliases-sub

origin